# update profile
[ -f /etc/profile ] && source /etc/profile

if [ -d /etc/profile.d ]; then
    for file in /etc/profile.d/*.sh
    do
        source $file
    done
fi

# add work/bin
path_prepend "${HOME}/work/bin"

# add local/bin
path_prepend "${HOME}/.local/bin"
